graph theory:semi-trail